$\forall$$T$:Type, $L$:($T$ List), $a$,$b$:$T$. l\_before($a$; $b$; $L$; $T$) $\Rightarrow$ ($b$ $\in$ $L$)